Простий
пошук
Розширений
пошук
Покажчики
Професійний
пошук
Рубрикатор
НБУВ
Розподілений
пошук

Бази даних

Наукова періодика України - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
Повнотекстовий пошук
 Знайдено в інших БД:Книжкові видання та компакт-диски (4)Реферативна база даних (21)
Список видань за алфавітом назв:
A  B  C  D  E  F  G  H  I  J  L  M  N  O  P  R  S  T  U  V  W  
А  Б  В  Г  Ґ  Д  Е  Є  Ж  З  И  І  К  Л  М  Н  О  П  Р  С  Т  У  Ф  Х  Ц  Ч  Ш  Щ  Э  Ю  Я  

Авторський покажчик    Покажчик назв публікацій


Пошуковий запит: (<.>A=Засуха С$<.>)
Загальна кількість знайдених документів : 10
Представлено документи з 1 до 10
1.

Поночовный Ю. Л. 
Исследование имитационных моделей готовности двухканальной информационно-управляющей системы космического аппарата [Електронний ресурс] / Ю. Л. Поночовный, С. А. Засуха, В. С. Харченко // Радіоелектронні і комп’ютерні системи. - 2012. - № 7. - С. 41–47. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2012_7_8
Рассмотрены особенности моделей готовности информационно-управляющих систем космических аппаратов. Для двухканальной одноверсионной структуры системы предложены имитационные модели, учитывающие изменение параметров потоков отказов программных средств вследствие проведения оперативной верификации или обновления программных функций. Указаны особенности построения имитационных моделей, проанализирована сходимость их результатов с аналитическими многофрагментными моделями. Сделаны выводы о возможности применения имитационных моделей при определении оптимального варианта проведения верификации и коррекции проектных дефектов и обновления функций системы в процессе ее применения.
Попередній перегляд:   Завантажити - 444.049 Kb    Зміст випуску    Реферативна БД     Цитування
2.

Горбенко А. В. 
Безопасность ракетно-космической техники и надежность компьютерных систем: 2000-2009 гг. [Електронний ресурс] / А. В. Горбенко, С. А. Засуха, В. И. Рубан, О. М. Тарасюк, В. С. Харченко // Авиационно-космическая техника и технология. - 2011. - № 1. - С. 9–20. - Режим доступу: http://nbuv.gov.ua/UJRN/aktit_2011_1_4
Представлена статистика запусков ракетоносителей (РА) и космических аппаратов (КА) в 2000 - 2009 гг., проведен анализ рисков, возникающих при использовании ракетно-космической техники (РКТ) вследствие отказов оборудования и различных системных компонентов. Представлены результаты оценки рисков аварий для РН и КА за последние десять лет и сравнения рисков и причин аварий за 1990-е и 2000-е годы. Дана оценка влияния отказов компьютерных систем управления, их аппаратных и программных средств на риски возникновения аварий РКТ.
Попередній перегляд:   Завантажити - 459.473 Kb    Зміст випуску    Реферативна БД     Цитування
3.

Харченко В. С. 
Елементи методології оперативної коригувальної верифікації програмних засобів інформаційно-управляючих систем космічних апаратів [Електронний ресурс] / В. С. Харченко, М. В. Замирець, С. О. Засуха, Ю. Л. Поночовний // Авиационно-космическая техника и технология. - 2011. - № 6. - С. 81–95. - Режим доступу: http://nbuv.gov.ua/UJRN/aktit_2011_6_16
Проаналізовано програмне забезпечення (ПЗ) інформаційно-управляючих систем (ІУС) космічних систем (КС) як об'єкта верифікації, нормативної бази й існуючих методів верифікації ПЗ КС. Введено поняття оперативної коригувальної верифікації (ОКВ), яка може проводитися за різними сценаріями для функцій різного рівня критичності. Визначено етапи й операції верифікації ПЗ ІУС КС на різних етапах. Надано детальний опис операцій етапу розробки ПЗ ІУС КС. Надано формальний опис цілей верифікації ПЗ ІУС КС. Уточнено цілі оперативної коригувальної верифікації ПЗ в польоті, і запропоновано теоретико-множинний опис функцій з урахуванням їх критичності й цілей ОКВ. Описано сценарії й показники для оцінки готовності ІУС КС під час реалізації ОКВ. Надано опис моделей готовності. Визначено поняття стратегії ОКВ та особливості її формування. Проведено розробку та дослідження моделі готовності однієї з систем з ОКВ.
Попередній перегляд:   Завантажити - 665.609 Kb    Зміст випуску    Реферативна БД     Цитування
4.

Конорев Б. М. 
Модель оценивания качества программного обеспечения ИУС критического применения на основе инвариантов [Електронний ресурс] / Б. М. Конорев, С. О. Засуха, Ю. С. Манжос, Л. П. Семенов, В. В. Сергиенко, В. С. Харченко, Г. Н. Чертков // Радіоелектронні і комп’ютерні системи. - 2006. - № 7. - С. 162–170. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2006_7_34
Предложенный подход создает возможности в рамках risk-informed регулирования безопасности АЭС количественно оценивать и управлять величиной снижения вероятности рисков остаточных дефектов программного обеспечения ИУС для композиции диверсных технологий верификации на основе экспериментальной калибровки чувствительности и реальной степени разнообразия диверсных методов верификации.
Попередній перегляд:   Завантажити - 322.856 Kb    Зміст випуску    Реферативна БД     Цитування
5.

Засуха С. А. 
Модель готовности двухканальной информационно-управляющей системы космического аппарата с оперативной верификацией программных средств [Електронний ресурс] / С. А. Засуха, Ю. Л. Поночовный // Наука і техніка Повітряних Сил Збройних Сил України. - 2011. - № 2. - С. 144-149. - Режим доступу: http://nbuv.gov.ua/UJRN/Nitps_2011_2_38
Рассмотрена многофрагментная модель информационно-управляющей системы обслуживаемого космического аппарата. При построении модели учтены проведение оперативной верификации отдельных функций программных средств в процессе эксплуатации системы, а также устранение выявленных программных дефектов. По результатам моделирования сделаны выводы о способах определения оптимальных временных параметров проведения верификации.
Попередній перегляд:   Завантажити - 277.776 Kb    Зміст випуску    Реферативна БД     Цитування
6.

Харченко В. С. 
Оперативная верификация и коррекция программного обеспечения ИУС космических систем. [Електронний ресурс] / В. С. Харченко, Н. В. Замирец, С. А. Засуха // Системи обробки інформації. - 2011. - Вип. 8. - С. 135-139. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2011_8_32
Проведен анализ программного обеспечения (ПО) информационно-управляющих систем космических систем (ИУС КС) как объекта верификации, нормативной базы и существующих методов верификации ПО КС. Введено понятие оперативной корректирующей верификации (ОКВ), которая может проводиться по разным сценариям для функций разного уровня критичности. ОКВ проведена в условиях полета, когда не может быть обеспечена требуемая достоверность проверки, или для тех функций, проверка которых в наземных условиях невозможна или нецелесообразна по экономическим соображениям при обеспечении требований по надежности и безопасности. Определены этапы и операции по верификации ПО ИУС КС на разных стадиях жизненного цикла. Дано детальное описание операций этапа разработки ПО ИУС КС.Дано формальное описание целей верификации программного обеспечения (ПО) информационно-управляющих систем (ИУС) космических систем (КС). Уточнены цели оперативной корректирующей верификации (ОКВ) ПО в полете, и предложено теоретико-множественное описание функций с учетом их критичности и целей ОКВ. Описаны сценарии и показатели для оценки готовности ИУС КС при реализации ОКВ. Дано краткое описание моделей готовности для разных сценариев ОКВ. Определены понятие стратегии ОКВ и особенности ее формирования.
Попередній перегляд:   Завантажити - 215.662 Kb    Зміст випуску    Реферативна БД     Цитування
7.

Засуха С. А. 
Исследование влияния временных параметров обновления программных средств на готовность двухканальной информационно-управляющей системы космического аппарата [Електронний ресурс] / С. А. Засуха // Збірник наукових праць Харківського університету Повітряних сил. - 2011. - Вип. 3. - С. 131-135. - Режим доступу: http://nbuv.gov.ua/UJRN/ZKhUPS_2011_3_32
Рассмотрена многофрагментная модель информационно-управляющей системы обслуживаемого космического аппарата. При построении модели учтены обновление программных средств в процессе эксплуатации системы, а также устранение выявленных программных дефектов. По результатам моделирования сделаны выводы о способах определения оптимальных временных параметров проведения обновления программных средств.
Попередній перегляд:   Завантажити - 247.719 Kb    Зміст випуску    Реферативна БД     Цитування
8.

Засуха С. В. 
Синтез бисфосфонатных аналогов нуклеотидов – производных (α-фенил)(α-фтор)метиленбисфосфоновых кислот [Електронний ресурс] / С. В. Засуха, А. И. Гузырь, А. П. Гудзь, Ю. Г. Шермолович // Журнал органічної та фармацевтичної хімії. - 2014. - Т. 12, вип. 4. - С. 55-64. - Режим доступу: http://nbuv.gov.ua/UJRN/jofkh_2014_12_4_8
Розроблено методи синтезу фторовмісних міметиків нуклеозид-дифосфатів на основі похідних (<$Ealpha>-феніл)(<$Ealpha>-фтор)метиленбісфосфонової кислоти, що містять залишки 2-{1-[4-перфторалкіл-5-(толіл-4-сульфоніл)-[1,2,3]триазол-2-іл]-етокси}- етилену та {2,2-диметил-6-[4-(толіл-4-сульфоніл)-5-пентафторетил-[1,2,3]триазол-2-іл]- тетрагідрофуро[3,4-d][1,3]діоксол-4-іл}-метилену як естерні групи. Селективне моно- та дидеалкілювання метоксигруп у тетраметиловому естері (<$Ealpha>-феніл)(<$Ealpha>-фтор)метиленбісфосфонової кислоти надає змогу одержати з високими виходами відповідні триметиловий та симетричний диметиловий естери, які містять 1 або 2 вільних реакційноздатних функціональних залишки фосфонових кислот. Одержані моно- та симетричну дифосфонові кислоти є зручними вихідними сполуками для синтезу змішаних естерів (<$Ealpha>-феніл)(<$Ealpha>-фтор)метиленбісфосфонової кислоти шляхом етерифікації кислотних груп за умов реакції Міцунобу з застосуванням як простих аліфатичних спиртів (н-бутанолу), так і аналогів нуклеозидів, які містять первинну спиртову групу: 2-{1-[4-перфторалкіл-5-(толіл-4-сульфоніл)-[1,2,3]триазол-2-іл]-етокси}- етанолів та {2,2-диметил-6-[4-(толіл-4-сульфоніл)-5-пентафторетил-[1,2,3]триазол-2-іл]- тетрагідрофуро[3,4-d][1,3]діоксол-4-іл}-метанолу в ролі реагентів. Структуру одержаних сполук доведено з використанням методів ІЧ-, ЯМР (<$Enothing sup 1 roman H,~nothing sup 13 roman C,~nothing sup 19 roman F, ~nothing sup 31 roman P>) спектроскопії, мас-спектрометрії та елементного аналізу. Цитотоксичність і антивірусна активність синтезованих сполук досліджено на моделі вірусу Епштейна - Барра. Знайдено сполуку, що чинить значний інгібуючий вплив на репродукцію вірусу Епштейна - Барра.
Попередній перегляд:   Завантажити - 705.022 Kb    Зміст випуску    Реферативна БД     Цитування
9.

Засуха С. В. 
Арил a-фтор- и a-хлорметиленбисфосфоно- вые кислоты и их хлорангидриды [Електронний ресурс] / С. В. Засуха, О. И. Гузырь, Ю. Г. Шермолович // Украинский химический журнал. - 2014. - Т. 80, № 1. - С. 38-43. - Режим доступу: http://nbuv.gov.ua/UJRN/UKhJh_2014_80_1-2_10
Попередній перегляд:   Завантажити - 360.077 Kb    Зміст випуску     Цитування
10.

Засуха С. А. 
Методология оперативной верификации программного обеспечения космических систем: модели готовности и выбор сценариев [Електронний ресурс] / С. А. Засуха, Ю. Л. Поночовный, В. С. Харченко // Вісник Харківського національного університету імені В. Н. Каразіна. Серія : Математичне моделювання. Інформаційні технології. Автоматизовані системи управління. - 2012. - № 1015, Вип. 19. - С. 131-147. - Режим доступу: http://nbuv.gov.ua/UJRN/VKhIMAM_2012_1015_19_17
Попередній перегляд:   Завантажити - 342.524 Kb    Зміст випуску     Цитування
 
Відділ наукової організації електронних інформаційних ресурсів
Пам`ятка користувача

Всі права захищені © Національна бібліотека України імені В. І. Вернадського